Sequential methods and algorithms

Sequential Methods and Their Applications

Games and Sequential Algorithms

Sequential Algorithms , Deterministic Parallelism , and

We call language L 1 intensionally more expressive than L 2 if there are functions which can be computed faster in L 1 than in L 2. We study the intensional expressive-ness of several languages: the Berry-Curien programming language of sequential algorithms, CDS0, a de-terministic parallel extension to it, named CDSP, and various parallel extensions to the functional programming language PCF. T...

Sequential second derivative general linear methods for stiff systems

‎Second derivative general linear methods (SGLMs) as an extension‎ ‎of general linear methods (GLMs) have been introduced to improve‎ ‎the stability and accuracy properties of GLMs‎. ‎The coefficients of‎ ‎SGLMs are given by six matrices‎, ‎instead of four matrices for‎ ‎GLMs‎, ‎which are obtained by solving nonlinear systems of order and‎ ‎usually Runge--Kutta stability conditions‎. ‎In this p...

Future - Sequential Regularization Methods

We develop a theoretical context in which to study the future-sequential regularization method developed by J. V. Beck for the Inverse Heat Conduction Problem. In the process, we generalize Beck's ideas and view that method as one in a large class of regularization methods in which the solution of an ill-posed rst-kind Volterra equation is seen to be the limit of a sequence of solutions of well...